
/********** CHANGE #2: to make "add to Google" button align properly *******/

#pagecontent .gadget img {margin:0;} 
	
#pagecontent img{
	border:none;
	margin-top: 1em;
	padding:0;
	}

/********** CHANGE #1: to get rid of multiple borders and turn off bg color *******/	
.gadget table{
    border:none;
    background-color:#fff;
    }

/********** CHANGE #4: this was to compensate for an unexpected side effect of the rule right below, which was to fix table auto-sizing in FF. *******/
.gadget table table {left:0;}
	

.codetext {font-family: "Courier New", Courier, mono}
.style4 {	color: #FF0000;
	font-weight: bold;
}
.style6 {color: #000000}
.style10 {font-family: "Courier New", Courier, mono; font-size: 10pt; font-weight: bold; }
.style11 {color: #FF0000}
.style13 {font-size: 10pt}
.style3 {font-family: "Courier New", Courier, mono; font-size: 10pt; }
.reftable {  margin-left: 20px;
  font-size:100%;}
.reftable1 {font-size:100%;}
.reftable1 {margin-left: 20px;}

